From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·9h
🔄Graph Rewriting
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·58m
🔤Type Theory
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·58m·
Discuss: Hacker News
🧮Constraint Solvers
News for August 2025
ptreview.sublinear.info·2d
🌸Bloom Variants
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·1d
💎Information Crystallography
Fundamentals of Wireless Communication
web.stanford.edu·2d·
Discuss: Hacker News
ℹ️Information Theory
GraMFedDHAR: Graph Based Multimodal Differentially Private Federated HAR
arxiv.org·1d
🤐Secure Multiparty
Adaptive Acoustic Metamaterial Composites for Broadband Noise Reduction via Topology Optimization
dev.to·5h·
Discuss: DEV
⚙️Tape Engineering
A multi-strategy improved gazelle optimization algorithm for solving numerical optimization and engineering applications
arxiv.org·9h
⚡Incremental Computation
Visualising Topology Inspired Computing Algorithms
antifold.com·17h·
Discuss: Hacker News
📐Mathematical Art
Layered Cortical Graph Dynamics for Predictive Cognitive Modeling
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Application of discrete Ricci curvature in pruning randomly wired neural networks: A case study with chest x-ray classification of COVID-19
arxiv.org·1d
🌀Riemannian Computing
UrbanMIMOMap: A Ray-Traced MIMO CSI Dataset with Precoding-Aware Maps and Benchmarks
arxiv.org·1d
📊Count-Min Sketch
Discreteness of asymptotic tensor ranks
arxiv.org·9h
🕸️Tensor Networks
Topological Regularization for Force Prediction in Active Particle Suspension with EGNN and Persistent Homology
arxiv.org·1d
🌐Computational Topology
VLMs-in-the-Wild: Bridging the Gap Between Academic Benchmarks and Enterprise Reality
arxiv.org·9h
🤖Advanced OCR
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·3d·
Discuss: Hacker News
🕸️Graph Algorithms
[D] Graphrag pipeline that runs entirely locally with ollama and has full source attribution
reddit.com·19h·
Discuss: r/MachineLearning
⚡Proof Automation
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
🧠Machine Learning
Why I'm lukewarm on graph neural networks
singlelunch.com·1d·
Discuss: Hacker News
🕸️Graph Embeddings